MaName $\in$ Type